modal logic

/ˌmoʊdl ˌlɑdʒɪk/

Definitions of modal logic

1. noun

   a system of logic whose formal properties resemble certain moral and epistemological concepts
   types:

   alethic logic

   the modal logic of necessity and possibility and contingency

   deontic logic

   the modal logic of obligation and permissibility

   epistemic logic

   the modal logic of knowledge and uncertainty and ignorance

   doxastic logic

   the modal logic of belief and disbelief

   type of:

   formal logic, mathematical logic, symbolic logic

   any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
2. noun

   the logical study of necessity and possibility
   type of:

   logic

   the branch of philosophy that analyzes inference